Skip to content

Conversation

@neilmayhew
Copy link
Collaborator

  • A flake for use with nix develop
  • A GitHub CI workflow for ensuring that the flake works

@neilmayhew neilmayhew force-pushed the nix branch 2 times, most recently from 77a342b to eeb51c6 Compare September 12, 2025 21:05
@neilmayhew
Copy link
Collaborator Author

The nix code here is based on what I developed for cardano-ledger-release-tool

@neilmayhew neilmayhew merged commit 35ab362 into master Sep 15, 2025
8 checks passed
@neilmayhew
Copy link
Collaborator Author

Thanks, Max.

BTW, it would be helpful to enable automatic branch deletion when PRs are merged. (I don't have admin access so can't do this myself.)

@neilmayhew neilmayhew deleted the nix branch September 15, 2025 15:35
@MaximilianAlgehed
Copy link
Collaborator

Thanks, Max.

BTW, it would be helpful to enable automatic branch deletion when PRs are merged. (I don't have admin access so can't do this myself.)

Me neither, ping @lehins

@lehins
Copy link
Member

lehins commented Sep 15, 2025

it would be helpful to enable automatic branch deletion when PRs are merged.

Done

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants